Diaconescu, Răzvan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Universal logic and computation

Diaconescu, Răzvan

Journal:

Journal of Logic and Computation

Year:

2017

Language:

english

File:

PDF, 34 KB

english, 2017

2

An Institution-independent Proof of Craig Interpolation Theorem

Răzvan Diaconescu

Journal:

Year:

2004

File:

PDF, 957 KB

2004

3

Foundations for structuring behavioural specifications

Diaconescu, Răzvan, Ţuţu, Ionuţ

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2014

Language:

english

File:

PDF, 406 KB

english, 2014

4

What is a Logic Translation?

Till Mossakowski, Răzvan Diaconescu, Andrzej Tarlecki

Journal:

Logica Universalis

Year:

2009

Language:

english

File:

PDF, 362 KB

english, 2009

5

Stratified institutions and elementary homomorphisms

Marc Aiguier, Răzvan Diaconescu

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 185 KB

english, 2007

6

Comparison of ARF after myeloablative and nonmyeloablative hematopoietic cell transplantation

Chirag R. Parikh, Robert W. Schrier, Barry Storer, Razvan Diaconescu, Mohamed L. Sorror, Michael B. Maris, David G. Maloney, Peter McSweeney, Rainer Storb, Brenda M. Sandmaier

Journal:

American Journal of Kidney Diseases

Year:

2005

Language:

english

File:

PDF, 113 KB

english, 2005

7

Allogeneic hematopoietic cell transplantation: from experimental biology to clinical care

Razvan Diaconescu, Rainer Storb

Journal:

Journal of Cancer Research and Clinical Oncology

Year:

2005

Language:

english

File:

PDF, 325 KB

english, 2005

8

Adoptive Immunotherapy Against Allogeneic Kidney Grafts in Dogs with Stable Hematopoietic Trichimerism

Scott S. Graves, William J. Hogan, Christian Kuhr, Razvan Diaconescu, Michael Harkey, George E. Sale, Brad Stone, George E. Georges, Rainer Storb

Journal:

Biology of Blood and Marrow Transplantation

Year:

2008

Language:

english

File:

PDF, 6.58 MB

english, 2008

9

Institutional semantics for many-valued logics

Diaconescu, Răzvan

Journal:

Fuzzy Sets and Systems

Year:

2013

Language:

english

File:

PDF, 400 KB

english, 2013

10

Discovery of a putative blood-based protein signature associated with response to ALK tyrosine kinase inhibition

CouÃ«toux du Tertre, Mathilde, Marques, Maud, McNamara, Suzan, Gambaro, Karen, Hoffert, Cyrla, Tremblay, Lise, Bouchard, Nicole, Diaconescu, Razvan, Blais, Normand, Couture, Christian, Pelsser, Vincen

Journal:

Clinical Proteomics

Year:

2020

File:

PDF, 2.49 MB

2020

11

Interpolation for predefined types

DIACONESCU, RĂZVAN

Journal:

Mathematical Structures in Computer Science

Year:

2012

Language:

english

File:

PDF, 375 KB

english, 2012

12

Functorial semantics of first-order views

Diaconescu, Răzvan

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 769 KB

english, 2016

13

On quasi-varieties of multiple valued logic models

Răzvan Diaconescu

Journal:

Mathematical Logic Quarterly

Year:

2011

Language:

english

File:

PDF, 128 KB

english, 2011

14

Saturated models in institutions

Răzvan Diaconescu, Marius Petria

Journal:

Archive for Mathematical Logic

Year:

2010

Language:

english

File:

PDF, 360 KB

english, 2010

15

Analysis of the genomic landscape in ALK+ NSCLC patients identifies novel aberrations associated with clinical outcomes

Couetoux du Tertre, Mathilde, Marques, Maud, Tremblay, Lise, Bouchard, Nicole, Diaconescu, Razvan, Blais, Normand, Couture, Christian, Pelsser, Vincent, Wang, Hangjun, Higenell, Valerie, Izzi, Luisa,

Journal:

Molecular Cancer Therapeutics

Year:

2019

Language:

english

File:

PDF, 3.33 MB

english, 2019

16

Implicit Kripke semantics and ultraproducts in stratified institutions

Diaconescu, Răzvan

Journal:

Journal of Logic and Computation

Year:

2016

Language:

english

File:

PDF, 314 KB

english, 2016

17

Category-based modularisation for equational logic programming

Răzvan Diaconescu

Journal:

Acta Informatica

Year:

1996

Language:

english

File:

PDF, 1.84 MB

english, 1996

18

On the existence of translations of structured specifications

Diaconescu, Răzvan

Journal:

Information Processing Letters

Year:

2015

Language:

english

File:

PDF, 277 KB

english, 2015

19

Grothendieck Inclusion Systems

Răzvan Diaconescu

Journal:

Applied Categorical Structures

Year:

2011

Language:

english

File:

PDF, 437 KB

english, 2011

20

An encoding of partial algebras as total algebras

Răzvan Diaconescu

Journal:

Information Processing Letters

Year:

2009

Language:

english

File:

PDF, 202 KB

english, 2009

21

A categorical study on the finiteness of specifications

Răzvan Diaconescu

Journal:

Information Processing Letters

Year:

2008

Language:

english

File:

PDF, 161 KB

english, 2008

22

Herbrand theorems in arbitrary institutions

Răzvan Diaconescu

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 200 KB

english, 2004

23

Treatment Delays in Non-small Cell Lung Cancer and Their Prognostic Implications

Diaconescu, Razvan, Lafond, Chantal, Whittom, Renaud

Journal:

Journal of Thoracic Oncology

Year:

2011

Language:

english

File:

PDF, 471 KB

english, 2011

24

Grothendieck Institutions

Răzvan Diaconescu

Journal:

Applied Categorical Structures

Year:

2002

Language:

english

File:

PDF, 157 KB

english, 2002

25

Quasi-boolean encodings and conditionals in algebraic specification

Răzvan Diaconescu

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 396 KB

english, 2010

26

Implicit Kripke semantics and ultraproducts in stratified institutions

Diaconescu, Răzvan

Journal:

Journal of Logic and Computation

Year:

2016

File:

PDF, 314 KB

2016

27

What Role Is There for Antithymocyte Globulin in Allogeneic Nonmyeloablative Canine Hematopoietic Cell Transplantation?

Razvan Diaconescu, Marie-Térèse Little, Wendy Leisenring, Murad Yunusov, William J. Hogan, Mohamed L. Sorror, Frédéric Baron, Rainer Storb

Journal:

Biology of Blood and Marrow Transplantation

Year:

2005

Language:

english

File:

PDF, 335 KB

english, 2005

28

The Institution-Theoretic Scope of Logic Theorems

Diaconescu, Răzvan, Mossakowski, Till, Tarlecki, Andrzej

Journal:

Logica Universalis

Year:

2014

Language:

english

File:

PDF, 240 KB

english, 2014

29

Abstract Beth Definability in Institutions

Marius Petria and Răzvan Diaconescu

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 2.09 MB

english, 2006

30

An Oxford survey of order sorted algebra

Goguen, Joseph, Diaconescu, Răzvan

Journal:

Mathematical Structures in Computer Science

Year:

1994

Language:

english

File:

PDF, 1.74 MB

english, 1994

31

Contraction algebras and unification of (infinite) terms

Razvan Diaconescu

Journal:

Journal of Computer and System Sciences

Year:

1992

Language:

english

File:

PDF, 1.06 MB

english, 1992

32

Encoding hybridized institutions into first-order logic

DIACONESCU, RĂZVAN, MADEIRA, ALEXANDRE

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 348 KB

english, 2016

33

[AMAST Series in Computing] Cafeobj Report Volume 6 (The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification) || BACK MATTER

Diaconescu, Razvan, Futatsugi, Kokichi

Year:

1998

Language:

english

File:

PDF, 2.92 MB

english, 1998

34

Ultraproducts and possible worlds semantics in institutions

Răzvan Diaconescu, Petros Stefaneas

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 445 KB

english, 2007

35

Hydrocephalus secondary to chemotherapy in a case of prenatally diagnosed giant immature grade 3 sacrococcygeal teratoma

Sarbu, Ioan, Socolov, Demetra, Socolov, Razvan, Miron, Ingrith, Trandafirescu, Mioara, Diaconescu, Smaranda, Ciongradi, Carmen Iulia

Journal:

Medicine (Medicine Publishing Company Ltd)

Year:

2016

Language:

english

File:

PDF, 557 KB

english, 2016

36

Quasi-varieties and initial semantics for hybridized institutions

Diaconescu, Răzvan

Journal:

Journal of Logic and Computation

Year:

2016

Language:

english

File:

PDF, 968 KB

english, 2016

37

Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages

Răzvan Diaconescu

Journal:

Applied Categorical Structures

Year:

1998

Language:

english

File:

PDF, 191 KB

english, 1998

38

Coinduction for preordered algebra

Răzvan Diaconescu

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 281 KB

english, 2011

39

Prognostic relevance of ‘early-onset’ graft-versus-host disease following non-myeloablative haematopoietic cell transplantation

Marco Mielcarek, Lauri Burroughs, Wendy Leisenring, Razvan Diaconescu, Paul J. Martin, Brenda M. Sandmaier, David G. Maloney, Michael B. Maris, Thomas R. Chauncey, Judith A. Shizuru, Karl G. Blume, Ut

Journal:

British Journal of Haematology

Year:

2005

Language:

english

File:

PDF, 186 KB

english, 2005

40

Postgrafting immunosuppression with sirolimus and cyclosporine facilitates stable mixed hematopoietic chimerism in dogs given sublethal total body irradiation before marrow transplantation from DLA-identical littermates

William J Hogan, Marie-Térèse Little, Eustacia Zellmer, Anke Friedetzky, Razvan Diaconescu, Serina Gisburne, Richard Lee, Christian Kuhr, Rainer Storb

Journal:

Biology of Blood and Marrow Transplantation

Year:

2003

Language:

english

File:

PDF, 211 KB

english, 2003

41

Completeness of category-based equational deduction

Diaconescu, Răzvan

Journal:

Mathematical Structures in Computer Science

Year:

1995

Language:

english

File:

PDF, 1.95 MB

english, 1995

42

Abstract Beth definability in institutions

Petria, Marius, Diaconescu, Răzvan

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 1.74 MB

english, 2006

43

An Institution-Independent Proof of Craig Interpolation Theorem

Răzvan Diaconescu

Journal:

Year:

2004

Language:

english

File:

PDF, 2.10 MB

english, 2004

44

Graded consequence: an institution theoretic study

Diaconescu, Răzvan

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Year:

2014

Language:

english

File:

PDF, 397 KB

english, 2014

45

Behavioural specification for hierarchical object composition

Răzvan Diaconescu

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

46

On the algebra of structured specifications

Răzvan Diaconescu, Ionuţ Ţuţu

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 469 KB

english, 2011

47

Sa1893 Non-Variceal Upper Digestive Bleeding-Predictive Factors for Rebleeding and Mortality

Goldis, Adrian, Ratiu, Iulia, Diaconescu, Razvan, Lazar, Daniela E.

Journal:

Gastroenterology

Year:

2014

Language:

english

File:

PDF, 271 KB

english, 2014

48

Intensified Postgrafting Immunosuppression Failed to Assure Long-Term Engraftment of Dog Leukocyte Antigen-Identical Canine Marrow Grafts After 1 Gray Total Body Irradiation

Sorror, Mohamed L., Leisenring, Wendy, Mielcarek, Marco, Baron, Frederic, Diaconescu, Razvan, Hogan, William J., Graves, Scott S., Storb, Rainer

Journal:

Transplantation Journal

Year:

2008

Language:

english

File:

PDF, 357 KB

english, 2008

49

Interpolation in Grothendieck Institutions

Răzvan Diaconescu

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 357 KB

english, 2004

50

Logical foundations of CafeOBJ

Răzvan Diaconescu, Kokichi Futatsugi

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 297 KB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски